nLab pointed homotopy type

Idea

A pointed homotopy type, i.e. pointed infinity-groupoid, i.e. an object in the coslice (∞,1)-category of ∞Grpd under the point:

$$X \in \infty Grpd^{\ast/}$$

Related concepts

• pointed topological space, pointed simplicial set

• spectrum

References

• Pierre Gabriel, Michel Zisman, chapter IV.4 of Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer (1967) (pdf)